REF, NoConds
(Assert a BY b) == (Assert a)  THENL [(b); Id] 

latex

---

clarification:

REF, NoConds
(Assert a BY b) == (Assert a)  THENL [(b); Id] 

latex

Up	Tactics as terms
FDL editor aliases	-ab